package entities;

import entities.role.Role;




public class RoleAssertion extends Assertion {
	
	Individual a,b;
	Role role;
	
	public RoleAssertion(Individual a, Individual b, Role r){
		this.a = a;
		this.b = b;
		this.role = r;
	}
	
	public Individual getFirstIndividual(){
		return this.a;
	}
	
	public Individual getSecondIndividual(){
		return this.b;
	}
	
	public Role getRole(){
		return this.role;
	}
	
	@Override
	public String toString(){	
		return "("+this.a+","+this.b+") : "+this.role;	
	}
	
}
